linear algebra, higher linear algebra
(…)
Let be a field and am square matrix with entries in .
Then a Gauss decompositions of is a decomposition as where:
is a lower triangular unidiagonal matrix,
is upper triangular unidiagonal
is diagonal.
Here unidiagonal means with only unit entries on the diagonal.
(If is the identity matrix then this is a special case of an LU decomposition.)
The notion of Gauss decomposition may be generalized to matrices entries in a noncommutative ring, in which case there are explicit formulas involving quasideterminants and, in the case of quantum linear groups, in terms of quantum minors. See at quantum Gauss decomposition for more.
Not every matrix has a Gauss decomposition: one may try to find a solution via the Gauss elimination procedure, and the conditions for the solution involve non-vanishing of certain “principal” minors of the matrix. Then the solution for entries of or involves ratios of (determinants of) minors of the same size.
If is an invertible matrix, , then there always exist an permutation matrix matrix such that a decomposition of the form exists.
The subset of matrices for which such a decomposition exists (and then it is automatically unique and given by universal formulas) is a Zariski open subset in , called a “Gauss cell”.
The decomposition of matrices for any is also at times called a Gauss decomposition, in which case for one speaks of the main cell.
The group is covered by such open subsets, this is the Gauss global decomposition of .
In a similar manner one may discuss subgroups of by inducing the decomposition from .
In the case of , and some other cases, the matrices corresponding to in the decomposition for are forming the corresponding (lower) Borel subgroup.
This should be distinguished from the Bruhat decomposition where one wants instead of . Except for the case when when the two decompositions coincide, the matrices which decompose for given make a subset of higher codimension, hence nonprincipal (that is ) Bruhat cells are not open. Furthermore, while in Gauss case the cells make an open cover of , in Bruhat case they make a partition of into disjoint subsets of elements.
If is a subgroup of lower triangular matrices, then for the fixed , the entries of as a function of in the decomposition are the coordinates on the patch in evaluated at the coset of . The decomposition therefore for fixed corresponds to the trivialization of the principal -bundle over the open Gauss cell corresponding to .
Named after Carl Friedrich Gauß.
See also:
Last revised on June 18, 2024 at 10:55:35. See the history of this page for a list of all contributions to it.